home *** CD-ROM | disk | FTP | other *** search
/ BMUG PD-ROM A / PD-ROM A.iso / Programming / Programming Languages / ABC Language / MacABC v1.02.01 / MacABC v1.02.01.rsrc / STR#_23.txt < prev    next >
Encoding:
Text File  |  1990-01-25  |  190 b   |  11 lines
  1. wrong argument of type_check()
  2.  
  3. next line must be impossible as a refinement name, e.g. with a space:
  4.  
  5. returned value
  6.  
  7. RETURN not in function or expression refinement
  8.  
  9. Empty polytype stack
  10.  
  11.